void do_tests()
{
	ASSERT(file_name() + ".c" == __FILE__);
}

